void hello_from_c(/*const*/  char* name);
